haslnk($l$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isrcv($e$) $\wedge_{b}$ lnk($e$) = $l$